Definition of Axiom scheme

1. Noun. (logic) A formula in the language of an axiomatic system, in which one or more schematic variables appear, which stand for any term or subformula of the system, which may or may not be required to satisfy certain conditions. ¹

¹ Source: wiktionary.com

Lexicographical Neighbors of Axiom Scheme

axiolingual
axiolinguocervical
axiolinguoclusal
axiolinguogingival
axiological
axiologically
axiologies
axiologist
axiologists
axiology
axiom
axiom of choice
axiom of extensionality
axiom schema
axiom schemata
axiom scheme
axiom schemes
axiom system
axioma
axiomata
axiomatic
axiomatic system
axiomatic systems
axiomatical
axiomatically
axiomatics
axiomatisable
axiomatisation
axiomatisations
axiomatise

Other Resources:

Search for Axiom scheme on Dictionary.com!Search for Axiom scheme on Thesaurus.com!Search for Axiom scheme on Google!Search for Axiom scheme on Wikipedia!

Search